Around superstability in Metric Abstract Elementary Classes
نویسندگان
چکیده
Metric Abstract Elementary Classes (MAECs) correspond to an amalgam of the notions of Abstract Elementary Classes (AECs) and Elementary Class in the Continuous Logic. In this work, we study a proof of uniqueness (up to isomorphism) of Limit Models in MAECs [ViZa10a, Za1x], under superstability-like assumptions. Assuming this uniqueness of Limit Models, it is possible to do a preliminar study of Geometric Stability in superstable MAECs [Za1x].
منابع مشابه
Superstability from categoricity in abstract elementary classes
Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for nonsplitting, a particular notion of independence. We generalize their result as follows: given any abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisf...
متن کاملEquivalent Definitions of superstability in Tame Abstract Elementary Classes
ELEMENTARY CLASSES RAMI GROSSBERG AND SEBASTIEN VASEY Abstract. In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no lon...
متن کاملSymmetry in abstract elementary classes with amalgamation
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the nonelementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolat...
متن کاملOn the uniqueness property of forking in abstract elementary classes
In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for μ-forking, a certain independence notion arising from splitting. This had been a longstanding technical difficulty when constructing forking-like notions in this setup. As an application, we show that the two versions of forking symmetry appearing in the literature (the...
متن کاملSuperstability in abstract elementary classes
We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under the assumption that the class is stable, tame, has amalgamation, joint embedding, and arbitrarily large models. This partially answers questions of Shelah. Theorem 0.1. Let K be a tame AEC with amalgamation, joint embedding, and arbitrarily large models. Assume K is stable. Then the fo...
متن کامل